Context-triggered Abstraction-based Control Design

We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that closed-loop fulfills an arbitrary Linear Temporal Logic specification. Moreover, specification may take into account logical context switches induced by external environment or system itself. Finally, we want to avoid classical brute-force time- and space-discretization scalability. achieve these goals novel two-layer strategy synthesis approach, where generated in lower layer provides invariant sets basins attraction, are exploited at upper abstract way. In order this, provide new techniques both upper- lower-level synthesis. Our methodology allows leverage computing power state space control intelligence finite game solving complex specifications, scalable